5 research outputs found
A Reduced Form for Linear Differential Systems and its Application to Integrability of Hamiltonian Systems
Let with be a differential linear
system. We say that a matrix is a {\em reduced
form} of if and there exists such that . Such a form is
often the sparsest possible attainable through gauge transformations without
introducing new transcendants. In this article, we discuss how to compute
reduced forms of some symplectic differential systems, arising as variational
equations of hamiltonian systems. We use this to give an effective form of the
Morales-Ramis theorem on (non)-integrability of Hamiltonian systems.Comment: 28 page
A Characterization of Reduced Forms of Linear Differential Systems
A differential system , with
is said to be in reduced form if where
is the Lie algebra of the differential Galois group of
. In this article, we give a constructive criterion for a system to be in
reduced form. When is reductive and unimodular, the system is in
reduced form if and only if all of its invariants (rational solutions of
appropriate symmetric powers) have constant coefficients (instead of rational
functions). When is non-reductive, we give a similar characterization via
the semi-invariants of . In the reductive case, we propose a decision
procedure for putting the system into reduced form which, in turn, gives a
constructive proof of the classical Kolchin-Kovacic reduction theorem.Comment: To appear in : Journal of Pure and Applied Algebr
Formal Laurent Series in Several Variables
We explain the construction of fields of formal infinite series in several variables, generalizing the classical notion of formal Laurent series in one variable. Our discussion addresses the field operations for these series (addition, multiplication, and division), the composition, and includes an implicit function theorem
Formal first integrals along solutions of differential systems I
International audienc